Formal languages

Results: 2429



#Item
601Procedural programming languages / Data types / Type theory / Cross-platform software / Notation / Programming language / C / Mathematical logic / Formal language / Programming language theory / Software engineering / Computing

PDF Document

Add to Reading List

Source URL: www.cas.mcmaster.ca

Language: English - Date: 2012-05-01 16:42:08
602Functional languages / Scientific method / Formal sciences / Bioinformatics / Data analysis / R / Markov chain / Exploratory data analysis / Biostatistics / Science / Statistics / Mathematical software

PDF Document

Add to Reading List

Source URL: watson.nci.nih.gov

Language: English - Date: 2007-05-31 10:22:40
603Mathematical notation / Procedural programming languages / Data types / Formal languages / Evaluation / Expression / Variable / Bracket / Pattern matching / Software engineering / Computer programming / Computing

PDF Document

Add to Reading List

Source URL: dspace.mit.edu

Language: English - Date: 2014-04-15 02:17:22
604Symbol / Uppaal Model Checker / Model theory / Models of computation / Formal languages / Automata theory / Model checkers / Model checking

PDF Document

Add to Reading List

Source URL: people.cs.aau.dk

Language: English - Date: 2012-10-25 20:21:20
605Hardware description languages / Synchronous programming languages / Formal methods / Technology / Science / Systems engineering / Lustre / Esterel Technologies / Software development / Safety

PDF Document

Add to Reading List

Source URL: www.esterel-technologies.com

Language: English - Date: 2014-09-26 02:32:41
606Synchronous programming languages / Formal methods / Technology / Software / Lustre / Cockpit display system / Esterel Technologies / Software development / Hardware description languages

PDF Document

Add to Reading List

Source URL: www.esterel-technologies.com

Language: English - Date: 2014-09-26 02:32:35
607XML / Formal languages / Computer file formats / EARMARK / HTML / Standard Generalized Markup Language / Semantic Web / RELAX NG / Ontology / Computing / Markup languages / Technical communication

PDF Document

Add to Reading List

Source URL: speroni.web.cs.unibo.it

Language: English - Date: 2013-02-22 04:03:54
608Technical communication / Computational linguistics / Standard Generalized Markup Language / Named-entity recognition / XML / Regular expression / Recall / Computing / Markup languages / Formal languages

PDF Document

Add to Reading List

Source URL: www.itl.nist.gov

Language: English
609Formal languages / Boolean algebra / Boolean data type / Regular expression / String / Computing / Computer programming / Software engineering

PDF Document

Add to Reading List

Source URL: www.impartmedia.com

Language: English - Date: 2014-07-03 01:14:42
610Technical communication / Computer file formats / Open formats / EARMARK / XML / Standard Generalized Markup Language / MECS / Web Ontology Language / OPML / Computing / Markup languages / Formal languages

PDF Document

Add to Reading List

Source URL: speroni.web.cs.unibo.it

Language: English - Date: 2014-08-06 10:41:02
UPDATE